mov $0x257b9a553c9b8b01, %rax
mov %rax, 0x602308
push $0x401020
retq


